Project goal for Contracts: primitive ownership assertions#700
Project goal for Contracts: primitive ownership assertions#700dawidl022 wants to merge 8 commits into
Conversation
|
This looks overall good to me! I think after that someone from the project goals team should be able to merge it, and I think we just wait for the goal to be approved along with everything else from the 2026 slate? Goals team: I'm the lang champion for the contracts lang experiment, so it makes sense to me to champion this goal. But the goal doesn't have much team asks, so does it even need a champion? I'm also unsure what's up with the current goal slate, can we still add things to it? |
Co-authored-by: Nadrieril <Nadrieril@users.noreply.github.com>
Co-authored-by: Nadrieril <Nadrieril@users.noreply.github.com>
|
Thanks for the review @Nadrieril! I have included the compiler and Miri teams. Since the Miri integration is a large chunk of this goal, I intend to contribute code to the Miri side of the goal too. Since it will likely be a non-trivial feature in Miri, I have marked the support level as "medium". |
| | Team | Support level | Notes | | ||
| | ---------- | ------------- | --------------------------------------- | | ||
| | [compiler] | Small | Code reviews | | ||
| | [miri] | Medium | Guidance on integration | |
There was a problem hiding this comment.
Who will champion from miri?
There was a problem hiding this comment.
This is being discussed: #t-lang/contracts > Project Goal @ 💬, see also #project-goals/2026-workshop > ✔ Contracts: primitive ownership assertions
|
This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
4 participants
I have kept the project goal brief, focusing on the concrete deliverables and high-level impact, as the details have already been discussed in depth in MCP #942.
I am missing the "Team asks" section, since it mentioned that I can leave it blank if I'm unsure.
@Nadrieril I would appreciate a review and guidance on further steps that need to be taken from my side.
Rendered